Kress-Gazit, Hadas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2017 First IEEE International Conference on Robotic Computing (IRC) - Taichung, Taiwan (2017.4.10-2017.4.12)] 2017 First IEEE International Conference on Robotic Computing (IRC) - From High-Level Task Specification to Robot Operating System (ROS) Implementation

Wong, Kai Weng, Kress-Gazit, Hadas

Year:

2017

Language:

english

File:

PDF, 775 KB

english, 2017

2

An integrated system for perception-driven autonomy with modular robots

Daudelin, Jonathan, Jing, Gangyuan, Tosun, Tarik, Yim, Mark, Kress-Gazit, Hadas, Campbell, Mark

Journal:

Science Robotics

Year:

2018

Language:

english

File:

PDF, 3.24 MB

english, 2018

3

Translating Structured English to Robot Controllers

Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.

Journal:

Advanced Robotics

Year:

2008

Language:

english

File:

PDF, 812 KB

english, 2008

4

Synthesis for Robots: Guarantees and Feedback for Robot Behavior

Kress-Gazit, Hadas, Lahijanian, Morteza, Raman, Vasumathi

Journal:

Annual Review of Control, Robotics, and Autonomous Systems

Year:

2018

Language:

english

File:

PDF, 689 KB

english, 2018

5

[IEEE 2008 IEEE International Conference on Automation Science and Engineering (CASE 2008) - Arlington, VA (2008.08.23-2008.08.26)] 2008 IEEE International Conference on Automation Science and Engineering - Automatically synthesizing a planning and control subsystem for the DARPA urban challenge

Kress-Gazit, Hadas, Pappas, George J.

Year:

2008

Language:

english

File:

PDF, 513 KB

english, 2008

6

[IEEE 2016 IEEE International Conference on Robotics and Automation (ICRA) - Stockholm, Sweden (2016.5.16-2016.5.21)] 2016 IEEE International Conference on Robotics and Automation (ICRA) - Reactive high-level behavior synthesis for an Atlas humanoid robot

Maniatopoulos, Spyros, Schillinger, Philipp, Pong, Vitchyr, Conner, David C., Kress-Gazit, Hadas

Year:

2016

Language:

english

File:

PDF, 4.40 MB

english, 2016

7

Automated generation of dynamics-based runtime certificates for high-level control

DeCastro, Jonathan, Ehlers, Rüdiger, Rungger, Matthias, Balkan, Ayça, Kress-Gazit, Hadas

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.89 MB

english, 2017

8

Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots

Romay, Alberto, Kohlbrecher, Stefan, Stumpf, Alexander, von Stryk, Oskar, Maniatopoulos, Spyros, Kress-Gazit, Hadas, Schillinger, Philipp, Conner, David C.

Journal:

Journal of Field Robotics

Year:

2017

Language:

english

File:

PDF, 2.81 MB

english, 2017

9

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Task-Based Design of Ad-hoc Modular Manipulators

Campos, Thais, Inala, Jeevana Priya, Solar-Lezama, Armando, Kress-Gazit, Hadas

Year:

2019

Language:

english

File:

PDF, 1.45 MB

english, 2019

10

Temporal logic motion planning for dynamic robots

Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas

Journal:

Year:

2009

Language:

english

File:

PDF, 3.31 MB

english, 2009

11

Probabilistic guarantees for high-level robot behavior in the presence of sensor error

Benjamin Johnson, Hadas Kress-Gazit

Journal:

Autonomous Robots

Year:

2012

Language:

english

File:

PDF, 1.17 MB

english, 2012

12

Explaining Impossible High-Level Robot Behaviors

Raman, Vasumathi, Kress-Gazit, Hadas

Journal:

IEEE Transactions on Robotics

Year:

2013

Language:

english

File:

PDF, 996 KB

english, 2013

13

[IEEE 2007 IEEE International Conference on Robotics and Automation - Rome, Italy (2007.04.10-2007.04.14)] Proceedings 2007 IEEE International Conference on Robotics and Automation - Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.

Year:

2007

Language:

english

File:

PDF, 7.58 MB

english, 2007

14

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Analyzing and revising high-level robot behaviors under actuator error

Johnson, Benjamin, Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 1.74 MB

english, 2013

15

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Guaranteeing reactive high-level behaviors for robots with complex dynamics

DeCastro, Jonathan A., Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 1.68 MB

english, 2013

16

[IEEE 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011) - San Francisco, CA (2011.09.25-2011.09.30)] 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems - High-level control of modular robots

Castro, Sebastian, Koehler, Sarah, Kress-Gazit, Hadas

Year:

2011

Language:

english

File:

PDF, 1.28 MB

english, 2011

17

[IEEE 2012 IEEE International Conference on Robotics and Automation (ICRA) - St Paul, MN, USA (2012.05.14-2012.05.18)] 2012 IEEE International Conference on Robotics and Automation - Execution and analysis of high-level tasks with dynamic obstacle anticipation

Johnson, Benjamin, Havlak, Frank, Campbell, Mark, Kress-Gazit, Hadas

Year:

2012

Language:

english

File:

PDF, 348 KB

english, 2012

18

[IEEE 2013 IEEE International Conference on Robotics and Automation (ICRA) - Karlsruhe, Germany (2013.05.6-2013.05.10)] 2013 IEEE International Conference on Robotics and Automation - Improving the continuous execution of reactive LTL-based controllers

Jing, Gangyuan, Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 1.57 MB

english, 2013

19

[IEEE 2008 IEEE International Conference on Automation Science and Engineering (CASE 2008) - Arlington, VA (2008.08.23-2008.08.26)] 2008 IEEE International Conference on Automation Science and Engineering - Recycling controllers

Kress-Gazit, Hadas, Ayanian, Nora, Pappas, George J., Kumar, Vijay

Year:

2008

Language:

english

File:

PDF, 433 KB

english, 2008

20

[IEEE 2014 IEEE International Conference on Robotics and Automation (ICRA) - Hong Kong, China (2014.5.31-2014.6.7)] 2014 IEEE International Conference on Robotics and Automation (ICRA) - Synthesis for multi-robot controllers with interleaved motion

Raman, Vasumathi, Kress-Gazit, Hadas

Year:

2014

Language:

english

File:

PDF, 1.31 MB

english, 2014

21

[IEEE 2012 IEEE International Conference on Robotics and Automation (ICRA) - St Paul, MN, USA (2012.05.14-2012.05.18)] 2012 IEEE International Conference on Robotics and Automation - Correct high-level robot control from structured English

Jing, Gangyuan, Finucane, Cameron, Raman, Vasumathi, Kress-Gazit, Hadas

Year:

2012

Language:

english

File:

PDF, 338 KB

english, 2012

22

[IEEE 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2012) - Vilamoura-Algarve, Portugal (2012.10.7-2012.10.12)] 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems - Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory

Raman, Vasumathi, Xu, Bingxin, Kress-Gazit, Hadas

Year:

2012

Language:

english

File:

PDF, 337 KB

english, 2012

23

[IEEE 2012 IEEE International Conference on Robotics and Automation (ICRA) - St Paul, MN, USA (2012.05.14-2012.05.18)] 2012 IEEE International Conference on Robotics and Automation - Automated feedback for unachievable high-level robot behaviors

Raman, Vasumathi, Kress-Gazit, Hadas

Year:

2012

Language:

english

File:

PDF, 1.77 MB

english, 2012

24

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments

Gangyuan Jing,, Ehlers, Rudiger, Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 333 KB

english, 2013

25

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Provably-correct robot control with LTLMoP, OMPL and ROS

Kai Weng Wong,, Finucane, Cameron, Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 789 KB

english, 2013

26

[IEEE 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - San Diego, CA, USA (2007.10.29-2007.11.2)] 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - From structured english to robot motion

Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.

Year:

2007

Language:

english

File:

PDF, 225 KB

english, 2007

27

[IEEE 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2012) - Vilamoura-Algarve, Portugal (2012.10.7-2012.10.12)] 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems - Temporal logic robot mission planning for slow and fast actions

Raman, Vasumathi, Finucane, Cameron, Kress-Gazit, Hadas

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

28

[IEEE 2010 IEEE International Conference on Robotics and Automation (ICRA 2010) - Anchorage, AK (2010.05.3-2010.05.7)] 2010 IEEE International Conference on Robotics and Automation - Automatic synthesis of robot controllers for tasks with locative prepositions

Kress-Gazit, Hadas, Pappas, George J

Year:

2010

Language:

english

File:

PDF, 423 KB

english, 2010

29

[IEEE 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - San Diego, CA, USA (2007.10.29-2007.11.2)] 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - Valet parking without a valet

Conner, David C., Kress-Gazit, Hadas, Choset, Howie, Rizzi, Alfred A., Pappas, George J.

Year:

2007

Language:

english

File:

PDF, 181 KB

english, 2007

30

[IEEE 2014 IEEE International Conference on Robotics and Automation (ICRA) - Hong Kong, China (2014.5.31-2014.6.7)] 2014 IEEE International Conference on Robotics and Automation (ICRA) - Open-world mission specification for reactive robots

Maniatopoulos, Spyros, Blair, Matthew, Finucane, Cameron, Kress-Gazit, Hadas

Year:

2014

Language:

english

File:

PDF, 4.51 MB

english, 2014

31

Provably correct reactive control from natural language

Lignos, Constantine, Raman, Vasumathi, Finucane, Cameron, Marcus, Mitchell, Kress-Gazit, Hadas

Journal:

Autonomous Robots

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

32

[IEEE 2013 IEEE International Conference on Robotics and Automation (ICRA) - Karlsruhe, Germany (2013.05.6-2013.05.10)] 2013 IEEE International Conference on Robotics and Automation - Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations

Raman, Vasumathi, Piterman, Nir, Kress-Gazit, Hadas

Year:

2013

Language:

english

File:

PDF, 539 KB

english, 2013

33

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control

Raman, Vasumathi, Piterman, Nir, Finucane, Cameron, Kress-Gazit, Hadas

Journal:

IEEE Transactions on Robotics

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

34

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Iterative temporal motion planning for hybrid systems in partially unknown environments

Maly, Matthew R., Lahijanian, Morteza, Kavraki, Lydia E., Kress-Gazit, Hadas, Vardi, Moshe Y.

Year:

2013

Language:

english

File:

PDF, 628 KB

english, 2013

35

[IEEE 2015 IEEE International Conference on Robotics and Automation (ICRA) - Seattle, WA, USA (2015.5.26-2015.5.30)] 2015 IEEE International Conference on Robotics and Automation (ICRA) - Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace

Kai Weng Wong,, Kress-Gazit, Hadas

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

36

[IEEE 2015 IEEE International Conference on Robotics and Automation (ICRA) - Seattle, WA, USA (2015.5.26-2015.5.30)] 2015 IEEE International Conference on Robotics and Automation (ICRA) - Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning

DeCastro, Jonathan A., Raman, Vasumathi, Kress-Gazit, Hadas

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015

37

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

Lahijanian, Morteza, Maly, Matthew R., Fried, Dror, Kavraki, Lydia E., Kress-Gazit, Hadas, Vardi, Moshe Y.

Journal:

IEEE Transactions on Robotics

Year:

2016

Language:

english

File:

PDF, 1.97 MB

english, 2016

38

[IEEE 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Daejeon, South Korea (2016.10.9-2016.10.14)] 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Need-based coordination for decentralized high-level robot control

Wong, Kai Weng, Kress-Gazit, Hadas

Year:

2016

Language:

english

File:

PDF, 4.28 MB

english, 2016

39

[IEEE 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Daejeon, South Korea (2016.10.9-2016.10.14)] 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - A model for verifiable grounding and execution of complex natural language instructions

Boteanu, Adrian, Howard, Thomas, Arkin, Jacob, Kress-Gazit, Hadas

Year:

2016

Language:

english

File:

PDF, 1.94 MB

english, 2016

40

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle

Johnson, Benjamin, Havlak, Frank, Kress-Gazit, Hadas, Campbell, Mark

Journal:

Journal of Field Robotics

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

41

Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles

Alonso-Mora, Javier, DeCastro, Jonathan A., Raman, Vasumathi, Rus, Daniela, Kress-Gazit, Hadas

Journal:

Autonomous Robots

Year:

2017

Language:

english

File:

PDF, 2.41 MB

english, 2017

42

[IEEE 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS) - Los Angeles, CA (2017.12.4-2017.12.5)] 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS) - Decentralized control of robotic swarms from high-level temporal logic specifications

Moarref, Salar, Kress-Gazit, Hadas

Year:

2017

Language:

english

File:

PDF, 222 KB

english, 2017

43

Resource-Performance Trade-off Analysis for Mobile Robots

Lahijanian, Morteza, Svorenova, Maria, Morye, Akshay, Yeomans, Brian, Rao, Dushyant, Posner, Ingmar, Newman, Paul, Kress-Gazit, Hadas, Kwiatkowska, Marta

Journal:

IEEE Robotics and Automation Letters

Year:

2018

Language:

english

File:

PDF, 2.19 MB

english, 2018

44

[IEEE 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) - Lisbon (2017.8.28-2017.9.1)] 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN) - Contextual awareness: Understanding monologic natural language instructions for autonomous robots

Arkin, Jacob, Walter, Matthew R., Boteanu, Adrian, Napoli, Michael E., Biggie, Harel, Kress-Gazit, Hadas, Howard, Thomas M.

Year:

2017

Language:

english

File:

PDF, 507 KB

english, 2017

45

Accomplishing high-level tasks with modular robots

Jing, Gangyuan, Tosun, Tarik, Yim, Mark, Kress-Gazit, Hadas

Journal:

Autonomous Robots

Year:

2018

Language:

english

File:

PDF, 8.05 MB

english, 2018

46

Resilient, Provably-Correct, and High-Level Robot Behaviors

Wong, Kai Weng, Ehlers, Rudiger, Kress-Gazit, Hadas

Journal:

IEEE Transactions on Robotics

Year:

2018

Language:

english

File:

PDF, 1.12 MB

english, 2018

47

[IEEE 2018 IEEE International Conference on Robotics and Automation (ICRA) - Brisbane, Australia (2018.5.21-2018.5.25)] 2018 IEEE International Conference on Robotics and Automation (ICRA) - Perception-Informed Autonomous Environment Augmentation with Modular Robots

Tosun, Tarik, Daudelin, Jonathan, Jing, Gangyuan, Kress-Gazit, Hadas, Campbell, Mark, Yim, Mark

Year:

2018

Language:

english

File:

PDF, 1.43 MB

english, 2018

48

Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications

Moarref, Salar, Kress-Gazit, Hadas

Journal:

Autonomous Robots

Year:

2019

Language:

english

File:

PDF, 1023 KB

english, 2019

49

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Resilient Task Planning and Execution for Reactive Soft Robots

Hamill, Scott, Whitehead, John, Ferenz, Peter, Shepherd, Robert F., Kress-Gazit, Hadas

Year:

2019

File:

PDF, 1.69 MB

2019

50

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - SMT-Based Control and Feedback for Social Navigation

Campos, Thais, Pacheck, Adam, Hoffman, Guy, Kress-Gazit, Hadas

Year:

2019

Language:

english

File:

PDF, 129 KB

english, 2019